Pascal Poizat: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (27)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Preface

Carlos Canal, Pascal Poizat, Mirko Viroli

Журнал:

Science of Computer Programming

Рік:

2011

Мова:

english

Файл:

PDF, 137 KB

english, 2011

2

Preface

Carlos Canal, Pascal Poizat, Marjan Sirjani

Журнал:

Science of Computer Programming

Рік:

2011

Мова:

english

Файл:

PDF, 136 KB

english, 2011

3

Preface

Steffen Becker, Carlos Canal, Nicolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 114 KB

english, 2007

4

An Adaptation-based Approach to Incrementally Build Component Systems

Pascal Poizat, Gwen Salaün, Massimo Tivoli

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 346 KB

english, 2007

5

Preface

Carlos Canal, Pascal Poizat, Mirko Viroli

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 109 KB

english, 2008

6

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 630 KB

english, 2008

7

Preface

Carlos Canal, Pascal Poizat, Marjan Sirjani

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 99 KB

english, 2009

8

A Logic with Temporal Glue for Mixed Specifications

Marc Aiguie, Fabrice Barbier, Pascal Poizat

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2004

Мова:

english

Файл:

PDF, 302 KB

english, 2004

9

Interacting Extended State Diagrams

Gwen Salaün, Pascal Poizat

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 247 KB

english, 2005

10

Long-term fish and macro-crustacean community variation in a Mediterranean lagoon

Gilles Poizat, Elizabeth Rosecchi, Philippe Chauvelon, Pascal Contournet, Alain J Crivelli

Журнал:

Estuarine, Coastal and Shelf Science

Рік:

2004

Мова:

english

Файл:

PDF, 362 KB

english, 2004

11

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques

Mateescu, Radu, Poizat, Pascal, Salaun, Gwen

Журнал:

IEEE Transactions on Software Engineering

Рік:

2012

Мова:

english

Файл:

PDF, 2.16 MB

english, 2012

12

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - Self-Adaptive Service Composition Through Graphplan Repair

Yan, Yuhong, Poizat, Pascal, Zhao, Ludeng

Рік:

2010

Мова:

english

Файл:

PDF, 394 KB

english, 2010

13

La Limite des Theories de Courbes Generiques

Olivier Chapuis, Ehud Hrushovski, Pascal Koiran and Bruno Poizat

Журнал:

Journal of Symbolic Logic

Рік:

2002

Файл:

PDF, 276 KB

2002

14

Electronic, Magnetic, and Spectroscopic Properties of Binuclear Diruthenium Tetracarboxylates: A Theoretical and Experimental Study

Estiú, Guillermina, Cukiernik, Fabio D., Maldivi, Pascale, Poizat, Olivier

Журнал:

Inorganic Chemistry

Рік:

1999

Мова:

english

Файл:

PDF, 131 KB

english, 1999

15

Raman spectroscopy: a convenient probe of solid-liquid crystal-phase transitions in binuclear rhodium(II) n-alkanoates

Poizat, Olivier, Strommen, Dennis P., Maldivi, Pascale, Giroud-Godquin, Anne Marie, Marchon, Jean Claude

Журнал:

Inorganic Chemistry

Рік:

1990

Мова:

english

Файл:

PDF, 378 KB

english, 1990

16

[IEEE 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Automatic skeleton generation for data-aware service choreographies

Nguyen, Huu Nghia, Poizat, Pascal, Zaidi, Fatiha

Рік:

2013

Мова:

english

Файл:

PDF, 621 KB

english, 2013

17

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

Nguyen, Huu Nghia, Poizat, Pascal, Zaidi, Fatiha

Рік:

2012

Мова:

english

Файл:

PDF, 324 KB

english, 2012

18

Cavity-Funneled Generation of Indistinguishable Single Photons from Strongly Dissipative Quantum Emitters

Grange, Thomas, Hornecker, Gaston, Hunger, David, Poizat, Jean-Philippe, Gérard, Jean-Michel, Senellart, Pascale, Auffèves, Alexia

Журнал:

Physical Review Letters

Рік:

2015

Мова:

english

Файл:

PDF, 1.36 MB

english, 2015

19

La limite des theories de courbes generiques

Chapuis, Olivier, Hrushovski, Ehud, Koiran, Pascal, Poizat, Bruno

Журнал:

Journal of Symbolic Logic

Рік:

2002

Файл:

PDF, 967 KB

2002

20

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Behavioral adaptation of component compositions based on process algebra encodings

Mateescu, Radu, Poizat, Pascal, Salaün, Gwen

Рік:

2007

Мова:

english

Файл:

PDF, 378 KB

english, 2007

21

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Checking the realizability of BPMN 2.0 choreographies

Poizat, Pascal, Salaün, Gwen

Рік:

2012

Мова:

english

Файл:

PDF, 686 KB

english, 2012

22

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Passive conformance testing of service choreographies

Nguyen, Huu Nghia, Poizat, Pascal, Zaïdi, Fatiha

Рік:

2012

Мова:

english

Файл:

PDF, 709 KB

english, 2012

23

VerChor: A Framework for the Design and Verification of Choreographies

Gudemann, Matthias, Poizat, Pascal, Salaun, Gwen, Ye, Lina

Журнал:

IEEE Transactions on Services Computing

Рік:

2015

Мова:

english

Файл:

PDF, 1.93 MB

english, 2015

24

[ACM Press the European Conference - Warsaw, Poland (2015.07.01-2015.07.03)] Proceedings of the European Conference on Cognitive Ergonomics 2015 - ECCE '15 - A Contextual Approach to Home Energy Management Systems Automation in Daily Practices

Guibourdenche, Julien, Salembier, Pascal, Poizat, Germain, Haradji, Yvon, Galbat, Mariane

Рік:

2007

Мова:

english

Файл:

PDF, 269 KB

english, 2007

25

Prognostic Value of Molecular Subtypes in Pancreatic Cancer

Bertucci, François, Birnbaum, David J., Finetti, Pascal, Gilabert, Marine, Poizat, Flora, Raoul, Jean-Luc, Birnbaum, Daniel, Mamessier, Emilie

Журнал:

Рік:

2017

Мова:

english

Файл:

PDF, 775 KB

english, 2017

26

A 25-gene classifier predicts overall survival in resectable pancreatic cancer

Birnbaum, David J., Finetti, Pascal, Lopresti, Alexia, Gilabert, Marine, Poizat, Flora, Raoul, Jean-Luc, Delpero, Jean-Robert, Moutardier, Vincent, Birnbaum, Daniel, Mamessier, Emilie, Bertucci, Franç

Журнал:

Рік:

2017

Мова:

english

Файл:

PDF, 552 KB

english, 2017

27

Checking business process evolution

Krishna, Ajay, Poizat, Pascal, Salaün, Gwen

Журнал:

Science of Computer Programming

Рік:

2018

Мова:

english

Файл:

PDF, 2.68 MB

english, 2018